5

Efficient model checking for LTL with partial order snapshots

Year:
2009
Language:
english
File:
PDF, 631 KB
english, 2009
8

From simulink to SCADE/lustre to TTA

Year:
2003
Language:
english
File:
PDF, 238 KB
english, 2003
12

Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode

Year:
2001
Language:
english
File:
PDF, 228 KB
english, 2001